logique et monotonie

 L’inference deductive conventionnelle est une illustration de la monotonie. On peut l’illustrer par le syllogisme qui conclue que "Socrate est mortel" a partir des faits suivants : "Socrate est un homme" et "Tous les hommes sont mortels". Si on considere maintenant le fait "Les oiseaux volent" (A) , s’il n’est pas vrai que tous les oiseaux volent, le fait de voler est reconnu comme une situation typique pour un oiseau; il est donc raisonnable de penser que si l’on considere l’enonce "Gaspar est un oiseau" (B) a la suite du precedent, on peut dire que "Gaspar peut voler" (C). Et cela est raisonnable tant qu’aucun element contradictoire ne conduira a dire que Gaspar est un oiseau atypique de l’ensemble des oiseaux qui ne vole donc pas. La conclusion (C) est donc nuancee par l’absence d’informations sur l’atypicalite de Gaspar. Si cette information est fournie, il sera necessaire de reviser (C). L’inference conduite ici n’est plus monotone. C’est l’absence d’information contradictoire qui porte la marque d’un raisonnement non-monotone.

Glossaire de linguistique computationnelle. 2014.